Propositional function - PDFSEARCH.IO - Document Search Engine

Propositional function
Results: 162

#	Item
121	i i “p01c01˙his” — [removed] — 10:11 — page 3 — #3 i Add to Reading List Source URL: gauss.ececs.uc.edu Language: English - Date: 2011-07-05 08:44:49 Philosophical logic Classical logic Propositional calculus Algebraic logic Logical consequence Boolean algebra Function Term logic Entailment Logic Mathematical logic Mathematics
122	PDF Document Add to Reading List Source URL: hist-analytic.com Language: English - Date: 2011-07-30 20:46:56 Propositional calculus Boolean algebra Semantics Non-classical logic Modal logic Interpretation Function Propositional formula Tautology Logic Mathematical logic Mathematics
123	General Information for CS 130 Course number & title: Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-04-10 18:03:58 Model theory Predicate logic Semantics First-order logic Interpretation Function Jon Barwise Quantification Propositional calculus Logic Mathematical logic Mathematics
124	Approximate Subsumption in ALCQ Heiner Stuckenschmidt University of Mannheim, Germany A5, [removed]Mannheim [removed] Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Philosophical logic Philosophy of language Logical syntax Model theory Interpretation Function Truth Knowledge representation and reasoning Proposition Logic Mathematical logic Propositional calculus
125	Consequence Finding in ALC Meghyn Bienvenu IRIT, Universit´e Paul Sabatier Toulouse, France [removed] Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Propositional calculus Boolean algebra Philosophical logic Modal logic Prime number Description logic Function Propositional formula Logic Mathematical logic Mathematics
126	Preferential Logics: the Predicate Calculus case (extended abstract) Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:56 Non-classical logic Logical syntax Predicate logic Logic programming Default logic First-order logic Function Entailment Propositional formula Logic Mathematical logic Propositional calculus
127	Edward N. Zalta The Modal Object Calculus and its Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2012-02-25 17:14:48 Propositional calculus Predicate logic Model theory Philosophical logic Modal logic Interpretation First-order logic Entailment Function Logic Mathematical logic Mathematics
128	Edward N. Zalta A Philosophical Conception of Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2006-06-01 01:09:17 Philosophical logic Philosophy of language Logical syntax Proposition Entailment Interpretation Modal logic Function Formal semantics Logic Propositional calculus Semantics
129	Journal of Artificial Intelligence Research[removed]472 Submitted[removed]; published[removed] Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2008-03-25 22:30:40 Dynamic programming Model theory Markov processes Stochastic control Boolean algebra Markov decision process Reinforcement learning Function Propositional variable Mathematics Statistics Logic
130	[removed]Propositional models Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:16 Propositional calculus Boolean algebra Algebraic logic Logic Truth table Boolean function Canonical form Predicate Logical connective Mathematical logic Mathematics Abstract algebra

UPDATE